Exercise logic.propositional.proof.unicode
Description
Prove two propositions equivalent (unicode support)
Code | logic.propositional.proof.unicode |
Status | Experimental |
Strategy | proofequivalent |
Rules | 58 |
Buggy rules | 39 |
OpenMath support | yes |
Restartable strategy | yes |
Exercise generator | no |
Examples | 31 |